退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:术语图重写和并行术语图重写
Andrea Corradini; Frank Drewes;
机译:通过图重写实现条件项重写
机译:术语重写系统引起的两个重写关系的自反传递闭合的交点
机译:通过重写闭包和正确的术语重写系统来表征汇合
机译:术语重写系统的终止检查器的并行化
机译:术语重写系统和Church-Rosser财产
机译:重写和抑制UMLS术语以改善生物医学术语识别
机译:术语图重写和并行术语重写
机译:用于重写搜索项,设备和存储介质的方法和装置
机译:包括重写操作的半导体存储器件,用于提高电阻可变元件的长期可靠性
机译:使用术语重写和泛化进行符号程序分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。